(timer_last_idleness_start_time): New variable.
authorRichard M. Stallman <rms@gnu.org>
Mon, 1 Jul 2002 08:04:04 +0000 (08:04 +0000)
committerRichard M. Stallman <rms@gnu.org>
Mon, 1 Jul 2002 08:04:04 +0000 (08:04 +0000)
commitdb152194425295772d1ac43fa4cafb3372b1de2c
tree1bba774f8d3408774835ba19415c3a5a12b557de
parent708e949773efc61d467b4cf4b51483eba6282ab2
(timer_last_idleness_start_time): New variable.
(timer_start_idle): Set that.
(read_key_sequence): Use that to reset timer_idleness_start_time
to previous value.
src/keyboard.c